definition of proof

[计] 证明的定义